Optimal. Leaf size=207 \[ -\frac {2 \sqrt {b} (b c-a d)^{5/2} \tanh ^{-1}\left (\frac {\sqrt {b} \sqrt {c+d x}}{\sqrt {b c-a d}}\right )}{a^4}+\frac {c \sqrt {c+d x} (2 b c-3 a d)}{4 a^2 x^2}-\frac {\sqrt {c+d x} \left (11 a^2 d^2-18 a b c d+8 b^2 c^2\right )}{8 a^3 x}+\frac {\left (-5 a^3 d^3+30 a^2 b c d^2-40 a b^2 c^2 d+16 b^3 c^3\right ) \tanh ^{-1}\left (\frac {\sqrt {c+d x}}{\sqrt {c}}\right )}{8 a^4 \sqrt {c}}-\frac {c (c+d x)^{3/2}}{3 a x^3} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.27, antiderivative size = 207, normalized size of antiderivative = 1.00, number of steps used = 8, number of rules used = 6, integrand size = 20, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.300, Rules used = {98, 149, 151, 156, 63, 208} \[ -\frac {\sqrt {c+d x} \left (11 a^2 d^2-18 a b c d+8 b^2 c^2\right )}{8 a^3 x}+\frac {\left (30 a^2 b c d^2-5 a^3 d^3-40 a b^2 c^2 d+16 b^3 c^3\right ) \tanh ^{-1}\left (\frac {\sqrt {c+d x}}{\sqrt {c}}\right )}{8 a^4 \sqrt {c}}+\frac {c \sqrt {c+d x} (2 b c-3 a d)}{4 a^2 x^2}-\frac {2 \sqrt {b} (b c-a d)^{5/2} \tanh ^{-1}\left (\frac {\sqrt {b} \sqrt {c+d x}}{\sqrt {b c-a d}}\right )}{a^4}-\frac {c (c+d x)^{3/2}}{3 a x^3} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 63
Rule 98
Rule 149
Rule 151
Rule 156
Rule 208
Rubi steps
\begin {align*} \int \frac {(c+d x)^{5/2}}{x^4 (a+b x)} \, dx &=-\frac {c (c+d x)^{3/2}}{3 a x^3}-\frac {\int \frac {\sqrt {c+d x} \left (\frac {3}{2} c (2 b c-3 a d)+\frac {3}{2} d (b c-2 a d) x\right )}{x^3 (a+b x)} \, dx}{3 a}\\ &=\frac {c (2 b c-3 a d) \sqrt {c+d x}}{4 a^2 x^2}-\frac {c (c+d x)^{3/2}}{3 a x^3}-\frac {\int \frac {-\frac {3}{4} c \left (8 b^2 c^2-18 a b c d+11 a^2 d^2\right )-\frac {3}{4} d \left (6 b^2 c^2-13 a b c d+8 a^2 d^2\right ) x}{x^2 (a+b x) \sqrt {c+d x}} \, dx}{6 a^2}\\ &=\frac {c (2 b c-3 a d) \sqrt {c+d x}}{4 a^2 x^2}-\frac {\left (8 b^2 c^2-18 a b c d+11 a^2 d^2\right ) \sqrt {c+d x}}{8 a^3 x}-\frac {c (c+d x)^{3/2}}{3 a x^3}+\frac {\int \frac {-\frac {3}{8} c \left (16 b^3 c^3-40 a b^2 c^2 d+30 a^2 b c d^2-5 a^3 d^3\right )-\frac {3}{8} b c d \left (8 b^2 c^2-18 a b c d+11 a^2 d^2\right ) x}{x (a+b x) \sqrt {c+d x}} \, dx}{6 a^3 c}\\ &=\frac {c (2 b c-3 a d) \sqrt {c+d x}}{4 a^2 x^2}-\frac {\left (8 b^2 c^2-18 a b c d+11 a^2 d^2\right ) \sqrt {c+d x}}{8 a^3 x}-\frac {c (c+d x)^{3/2}}{3 a x^3}+\frac {\left (b (b c-a d)^3\right ) \int \frac {1}{(a+b x) \sqrt {c+d x}} \, dx}{a^4}-\frac {\left (16 b^3 c^3-40 a b^2 c^2 d+30 a^2 b c d^2-5 a^3 d^3\right ) \int \frac {1}{x \sqrt {c+d x}} \, dx}{16 a^4}\\ &=\frac {c (2 b c-3 a d) \sqrt {c+d x}}{4 a^2 x^2}-\frac {\left (8 b^2 c^2-18 a b c d+11 a^2 d^2\right ) \sqrt {c+d x}}{8 a^3 x}-\frac {c (c+d x)^{3/2}}{3 a x^3}+\frac {\left (2 b (b c-a d)^3\right ) \operatorname {Subst}\left (\int \frac {1}{a-\frac {b c}{d}+\frac {b x^2}{d}} \, dx,x,\sqrt {c+d x}\right )}{a^4 d}-\frac {\left (16 b^3 c^3-40 a b^2 c^2 d+30 a^2 b c d^2-5 a^3 d^3\right ) \operatorname {Subst}\left (\int \frac {1}{-\frac {c}{d}+\frac {x^2}{d}} \, dx,x,\sqrt {c+d x}\right )}{8 a^4 d}\\ &=\frac {c (2 b c-3 a d) \sqrt {c+d x}}{4 a^2 x^2}-\frac {\left (8 b^2 c^2-18 a b c d+11 a^2 d^2\right ) \sqrt {c+d x}}{8 a^3 x}-\frac {c (c+d x)^{3/2}}{3 a x^3}+\frac {\left (16 b^3 c^3-40 a b^2 c^2 d+30 a^2 b c d^2-5 a^3 d^3\right ) \tanh ^{-1}\left (\frac {\sqrt {c+d x}}{\sqrt {c}}\right )}{8 a^4 \sqrt {c}}-\frac {2 \sqrt {b} (b c-a d)^{5/2} \tanh ^{-1}\left (\frac {\sqrt {b} \sqrt {c+d x}}{\sqrt {b c-a d}}\right )}{a^4}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.46, size = 178, normalized size = 0.86 \[ -\frac {\frac {a \sqrt {c+d x} \left (a^2 \left (8 c^2+26 c d x+33 d^2 x^2\right )-6 a b c x (2 c+9 d x)+24 b^2 c^2 x^2\right )}{x^3}-\frac {3 \left (-5 a^3 d^3+30 a^2 b c d^2-40 a b^2 c^2 d+16 b^3 c^3\right ) \tanh ^{-1}\left (\frac {\sqrt {c+d x}}{\sqrt {c}}\right )}{\sqrt {c}}+48 \sqrt {b} (b c-a d)^{5/2} \tanh ^{-1}\left (\frac {\sqrt {b} \sqrt {c+d x}}{\sqrt {b c-a d}}\right )}{24 a^4} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 1.17, size = 930, normalized size = 4.49 \[ \left [\frac {48 \, {\left (b^{2} c^{3} - 2 \, a b c^{2} d + a^{2} c d^{2}\right )} \sqrt {b^{2} c - a b d} x^{3} \log \left (\frac {b d x + 2 \, b c - a d - 2 \, \sqrt {b^{2} c - a b d} \sqrt {d x + c}}{b x + a}\right ) - 3 \, {\left (16 \, b^{3} c^{3} - 40 \, a b^{2} c^{2} d + 30 \, a^{2} b c d^{2} - 5 \, a^{3} d^{3}\right )} \sqrt {c} x^{3} \log \left (\frac {d x - 2 \, \sqrt {d x + c} \sqrt {c} + 2 \, c}{x}\right ) - 2 \, {\left (8 \, a^{3} c^{3} + 3 \, {\left (8 \, a b^{2} c^{3} - 18 \, a^{2} b c^{2} d + 11 \, a^{3} c d^{2}\right )} x^{2} - 2 \, {\left (6 \, a^{2} b c^{3} - 13 \, a^{3} c^{2} d\right )} x\right )} \sqrt {d x + c}}{48 \, a^{4} c x^{3}}, \frac {96 \, {\left (b^{2} c^{3} - 2 \, a b c^{2} d + a^{2} c d^{2}\right )} \sqrt {-b^{2} c + a b d} x^{3} \arctan \left (\frac {\sqrt {-b^{2} c + a b d} \sqrt {d x + c}}{b d x + b c}\right ) - 3 \, {\left (16 \, b^{3} c^{3} - 40 \, a b^{2} c^{2} d + 30 \, a^{2} b c d^{2} - 5 \, a^{3} d^{3}\right )} \sqrt {c} x^{3} \log \left (\frac {d x - 2 \, \sqrt {d x + c} \sqrt {c} + 2 \, c}{x}\right ) - 2 \, {\left (8 \, a^{3} c^{3} + 3 \, {\left (8 \, a b^{2} c^{3} - 18 \, a^{2} b c^{2} d + 11 \, a^{3} c d^{2}\right )} x^{2} - 2 \, {\left (6 \, a^{2} b c^{3} - 13 \, a^{3} c^{2} d\right )} x\right )} \sqrt {d x + c}}{48 \, a^{4} c x^{3}}, -\frac {3 \, {\left (16 \, b^{3} c^{3} - 40 \, a b^{2} c^{2} d + 30 \, a^{2} b c d^{2} - 5 \, a^{3} d^{3}\right )} \sqrt {-c} x^{3} \arctan \left (\frac {\sqrt {d x + c} \sqrt {-c}}{c}\right ) - 24 \, {\left (b^{2} c^{3} - 2 \, a b c^{2} d + a^{2} c d^{2}\right )} \sqrt {b^{2} c - a b d} x^{3} \log \left (\frac {b d x + 2 \, b c - a d - 2 \, \sqrt {b^{2} c - a b d} \sqrt {d x + c}}{b x + a}\right ) + {\left (8 \, a^{3} c^{3} + 3 \, {\left (8 \, a b^{2} c^{3} - 18 \, a^{2} b c^{2} d + 11 \, a^{3} c d^{2}\right )} x^{2} - 2 \, {\left (6 \, a^{2} b c^{3} - 13 \, a^{3} c^{2} d\right )} x\right )} \sqrt {d x + c}}{24 \, a^{4} c x^{3}}, \frac {48 \, {\left (b^{2} c^{3} - 2 \, a b c^{2} d + a^{2} c d^{2}\right )} \sqrt {-b^{2} c + a b d} x^{3} \arctan \left (\frac {\sqrt {-b^{2} c + a b d} \sqrt {d x + c}}{b d x + b c}\right ) - 3 \, {\left (16 \, b^{3} c^{3} - 40 \, a b^{2} c^{2} d + 30 \, a^{2} b c d^{2} - 5 \, a^{3} d^{3}\right )} \sqrt {-c} x^{3} \arctan \left (\frac {\sqrt {d x + c} \sqrt {-c}}{c}\right ) - {\left (8 \, a^{3} c^{3} + 3 \, {\left (8 \, a b^{2} c^{3} - 18 \, a^{2} b c^{2} d + 11 \, a^{3} c d^{2}\right )} x^{2} - 2 \, {\left (6 \, a^{2} b c^{3} - 13 \, a^{3} c^{2} d\right )} x\right )} \sqrt {d x + c}}{24 \, a^{4} c x^{3}}\right ] \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 1.29, size = 300, normalized size = 1.45 \[ \frac {2 \, {\left (b^{4} c^{3} - 3 \, a b^{3} c^{2} d + 3 \, a^{2} b^{2} c d^{2} - a^{3} b d^{3}\right )} \arctan \left (\frac {\sqrt {d x + c} b}{\sqrt {-b^{2} c + a b d}}\right )}{\sqrt {-b^{2} c + a b d} a^{4}} - \frac {{\left (16 \, b^{3} c^{3} - 40 \, a b^{2} c^{2} d + 30 \, a^{2} b c d^{2} - 5 \, a^{3} d^{3}\right )} \arctan \left (\frac {\sqrt {d x + c}}{\sqrt {-c}}\right )}{8 \, a^{4} \sqrt {-c}} - \frac {24 \, {\left (d x + c\right )}^{\frac {5}{2}} b^{2} c^{2} d - 48 \, {\left (d x + c\right )}^{\frac {3}{2}} b^{2} c^{3} d + 24 \, \sqrt {d x + c} b^{2} c^{4} d - 54 \, {\left (d x + c\right )}^{\frac {5}{2}} a b c d^{2} + 96 \, {\left (d x + c\right )}^{\frac {3}{2}} a b c^{2} d^{2} - 42 \, \sqrt {d x + c} a b c^{3} d^{2} + 33 \, {\left (d x + c\right )}^{\frac {5}{2}} a^{2} d^{3} - 40 \, {\left (d x + c\right )}^{\frac {3}{2}} a^{2} c d^{3} + 15 \, \sqrt {d x + c} a^{2} c^{2} d^{3}}{24 \, a^{3} d^{3} x^{3}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [B] time = 0.02, size = 461, normalized size = 2.23 \[ -\frac {2 b \,d^{3} \arctan \left (\frac {\sqrt {d x +c}\, b}{\sqrt {\left (a d -b c \right ) b}}\right )}{\sqrt {\left (a d -b c \right ) b}\, a}+\frac {6 b^{2} c \,d^{2} \arctan \left (\frac {\sqrt {d x +c}\, b}{\sqrt {\left (a d -b c \right ) b}}\right )}{\sqrt {\left (a d -b c \right ) b}\, a^{2}}-\frac {6 b^{3} c^{2} d \arctan \left (\frac {\sqrt {d x +c}\, b}{\sqrt {\left (a d -b c \right ) b}}\right )}{\sqrt {\left (a d -b c \right ) b}\, a^{3}}+\frac {2 b^{4} c^{3} \arctan \left (\frac {\sqrt {d x +c}\, b}{\sqrt {\left (a d -b c \right ) b}}\right )}{\sqrt {\left (a d -b c \right ) b}\, a^{4}}-\frac {5 d^{3} \arctanh \left (\frac {\sqrt {d x +c}}{\sqrt {c}}\right )}{8 a \sqrt {c}}+\frac {15 b \sqrt {c}\, d^{2} \arctanh \left (\frac {\sqrt {d x +c}}{\sqrt {c}}\right )}{4 a^{2}}-\frac {5 b^{2} c^{\frac {3}{2}} d \arctanh \left (\frac {\sqrt {d x +c}}{\sqrt {c}}\right )}{a^{3}}+\frac {2 b^{3} c^{\frac {5}{2}} \arctanh \left (\frac {\sqrt {d x +c}}{\sqrt {c}}\right )}{a^{4}}-\frac {5 \sqrt {d x +c}\, c^{2}}{8 a \,x^{3}}+\frac {7 \sqrt {d x +c}\, b \,c^{3}}{4 a^{2} d \,x^{3}}-\frac {\sqrt {d x +c}\, b^{2} c^{4}}{a^{3} d^{2} x^{3}}+\frac {5 \left (d x +c \right )^{\frac {3}{2}} c}{3 a \,x^{3}}-\frac {4 \left (d x +c \right )^{\frac {3}{2}} b \,c^{2}}{a^{2} d \,x^{3}}+\frac {2 \left (d x +c \right )^{\frac {3}{2}} b^{2} c^{3}}{a^{3} d^{2} x^{3}}-\frac {11 \left (d x +c \right )^{\frac {5}{2}}}{8 a \,x^{3}}+\frac {9 \left (d x +c \right )^{\frac {5}{2}} b c}{4 a^{2} d \,x^{3}}-\frac {\left (d x +c \right )^{\frac {5}{2}} b^{2} c^{2}}{a^{3} d^{2} x^{3}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [F(-2)] time = 0.00, size = 0, normalized size = 0.00 \[ \text {Exception raised: ValueError} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 0.94, size = 2147, normalized size = 10.37 \[ \text {result too large to display} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F(-1)] time = 0.00, size = 0, normalized size = 0.00 \[ \text {Timed out} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________